\relax 
\citation{oasis05:xacml}
\citation{Rothermel:1996:ART:235681.235682}
\citation{Rothermel:1996:ART:235681.235682,Graves:2001:ESR:367008.367020}
\@LN@col{1}
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{\thepage }}
\newlabel{sec:introduction}{{1}{\thepage }}
\@LN@col{2}
\citation{oasis05:xacml}
\@LN@col{1}
\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces Evaluation process of XACML policies in a policy-based software system.}}{\thepage }}
\newlabel{fig:testexecution}{{1}{\thepage }}
\@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces An example policy specified in XACML.}}{\thepage }}
\newlabel{fig:example}{{2}{\thepage }}
\@writefile{toc}{\contentsline {section}{\numberline {2}Background}{\thepage }}
\newlabel{sec:background}{{2}{\thepage }}
\@LN@col{2}
\@writefile{lof}{\contentsline {figure}{\numberline {3}{\ignorespaces An example mutant policy by changing the first rule's decision (i.e., effect).}}{\thepage }}
\newlabel{fig:rdcexample}{{3}{\thepage }}
\@writefile{toc}{\contentsline {section}{\numberline {3}Approach}{\thepage }}
\newlabel{sec:approach}{{3}{\thepage }}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1}Test Selection Based on Mutation Analysis}{\thepage }}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2}Test Selection Based on Coverage Analysis}{\thepage }}
\citation{liu08:xengine}
\citation{mouelhi09:tranforming}
\@LN@col{1}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3}Test Selection Based on Recorded Request Evaluation}{\thepage }}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.4}Safe Test-Selection Techniques}{\thepage }}
\newlabel{subsec:safety}{{3.4}{\thepage }}
\@writefile{toc}{\contentsline {section}{\numberline {4}Experiments}{\thepage }}
\newlabel{sec:experiment}{{4}{\thepage }}
\@LN@col{2}
\citation{Rothermel:1996:ART:235681.235682,Graves:2001:ESR:367008.367020}
\citation{fisler05:verification}
\bibstyle{abbrv}
\bibcite{oasis05:xacml}{1}
\bibcite{fisler05:verification}{2}
\bibcite{Graves:2001:ESR:367008.367020}{3}
\bibcite{liu08:xengine}{4}
\bibcite{mouelhi09:tranforming}{5}
\bibcite{Rothermel:1996:ART:235681.235682}{6}
\@writefile{lot}{\contentsline {table}{\numberline {1}{\ignorespaces The number of selected test cases on average for each policy group by each technique.}}{\thepage }}
\newlabel{tab:cov-results}{{1}{\thepage }}
\@LN@col{1}
\@writefile{lof}{\contentsline {figure}{\numberline {4}{\ignorespaces  LMS1 (LMS2), VMS1 (VMS2), and ASMS1 (ASMS2) show test-reduction percentages for our subjects with modified policies, respectively, using TS$_{M}$ and TS$_{C}$ (TS$_{R}$). Y axis denotes the percentage of test reduction. X axis denotes the number of policy changes on our subjects.}}{\thepage }}
\newlabel{fig:reduction}{{4}{\thepage }}
\@writefile{lot}{\contentsline {table}{\numberline {2}{\ignorespaces Elapsed time (millisecond) for each test-selection technique, and each policy.}}{\thepage }}
\newlabel{tab:performance-results}{{2}{\thepage }}
\@writefile{toc}{\contentsline {section}{\numberline {5}Related Work}{\thepage }}
\newlabel{sec:related}{{5}{\thepage }}
\@LN@col{2}
\@writefile{toc}{\contentsline {section}{\numberline {6}Conclusion}{\thepage }}
\newlabel{sec:conclusion}{{6}{\thepage }}
\@writefile{toc}{\contentsline {section}{\numberline {7}Acknowledgments}{\thepage }}
\@writefile{toc}{\contentsline {section}{\numberline {8}References}{\thepage }}
